1. Discrete structures, logic, and computability

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions

رده :
QA76
.
H383
1995

2. Discrete structures, logic, and computability

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions

رده :
QA
76
,.
9
.
H42D5
2010

3. Discrete structures, logic, and computability

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions

رده :
QA76
.
9
.
M35
,.
H44
2010

4. Discrete structures, logic, and computability

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions

رده :
QA
76
.
9
.
M35H43
2010

5. Proof and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.

رده :
QA76
.
63
E358
1995